#include <stdio.h>

int main() {
    int sum=0;
    int num=0;
    int times=0;
    scanf("%d",&num);
    times=num/12;
    printf("%d",times*4+2);
    return 0;
}
